English Computing Dictionary
◊ MICRO ML
Micro ML
(uML) An {interpreter} for a subset of {SML}. Runs on
{MS-DOS}. Written at the University of Umea, Sweden.
{(ftp://ftp.cs.umu.se/pub/umlexe01.zoo)}